unsigned l2_idx = page_nr >> (L2_PAGETABLE_SHIFT - L1_PAGETABLE_SHIFT);
l2_pgentry_t gpde = linear_l2_table[l2_idx];
unsigned long gpfn = l2_pgentry_val(gpde) >> PAGE_SHIFT;
+ unsigned long spfn;
- if (get_shadow_status(&d->mm, gpfn))
+ if ((spfn = (get_shadow_status(&d->mm, gpfn) & PSH_pfn_mask)))
{
- unsigned long *gl1e = map_domain_mem(gpfn << PAGE_SHIFT);
+ unsigned long *sl1e = map_domain_mem(spfn << PAGE_SHIFT);
unsigned l1_idx = page_nr & (ENTRIES_PER_L1_PAGETABLE - 1);
- gl1e[l1_idx] = sval;
- unmap_domain_mem(gl1e);
+ sl1e[l1_idx] = sval;
+ unmap_domain_mem(sl1e);
put_shadow_status(&d->mm);
perfc_incrc(shadow_update_va_fail1);